Your search returned 874 results. Subscribe to this search

|
1. Elements of Computer Security [electronic resource] / by David Salomon.

by Salomon, David | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
2. Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.

by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
3. Networked Control Systems [electronic resource] / edited by Alberto Bemporad, Maurice Heemels, Mikael Johansson.

by Bemporad, Alberto | Heemels, Maurice | Johansson, Mikael | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
4. Guide to Three Dimensional Structure and Motion Factorization [electronic resource] / by Guanghui Wang, Q.M. Jonathan Wu.

by Wang, Guanghui | Wu, Q.M. Jonathan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
5. Grids, Clouds and Virtualization [electronic resource] / edited by Massimo Cafaro, Giovanni Aloisio.

by Cafaro, Massimo | Aloisio, Giovanni | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
6. Machine Learning for Vision-Based Motion Analysis [electronic resource] : Theory and Techniques / edited by Liang Wang, Guoying Zhao, Li Cheng, Matti Pietikäinen.

by Wang, Liang | Zhao, Guoying | Cheng, Li | Pietikäinen, Matti | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
7. Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.

by Dowek, Gilles | Lévy, Jean-Jacques | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
8. Visualization of Time-Oriented Data [electronic resource] / by Wolfgang Aigner, Silvia Miksch, Heidrun Schumann, Christian Tominski.

by Aigner, Wolfgang | Miksch, Silvia | Schumann, Heidrun | Tominski, Christian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
9. Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.

by Cheng, Daizhan | Qi, Hongsheng | Li, Zhiqiang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
10. A Short History of Mathematical Population Dynamics [electronic resource] / by Nicolas Bacaër.

by Bacaër, Nicolas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
11. Applied Nonparametric Statistics in Reliability [electronic resource] / by M. Luz Gámiz, K. B. Kulasekera, Nikolaos Limnios, Bo Henry Lindqvist.

by Gámiz, M. Luz | Kulasekera, K. B | Limnios, Nikolaos | Lindqvist, Bo Henry | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
12. Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.

by Dowek, Gilles | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
13. Human Recognition at a Distance in Video [electronic resource] / by Bir Bhanu, Ju Han.

by Bhanu, Bir | Han, Ju | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
14. Distributed Video Sensor Networks [electronic resource] / edited by Bir Bhanu, Chinya V. Ravishankar, Amit K. Roy-Chowdhury, Hamid Aghajan, Demetri Terzopoulos.

by Bhanu, Bir | Ravishankar, Chinya V | Roy-Chowdhury, Amit K | Aghajan, Hamid | Terzopoulos, Demetri | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
15. Research and Development in Intelligent Systems XXVII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis, Adrian Hopgood.

by Bramer, Max | Petridis, Miltos | Hopgood, Adrian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
16. Advances in Systems Safety [electronic resource] : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / edited by Chris Dale, Tom Anderson.

by Dale, Chris | Anderson, Tom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
17. Introduction to Discrete Event Simulation and Agent-based Modeling [electronic resource] : Voting Systems, Health Care, Military, and Manufacturing / by Theodore T. Allen.

by Allen, Theodore T | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
18. Rotation Transforms for Computer Graphics [electronic resource] / by John Vince.

by Vince, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
19. Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan.

by O'Regan, Gerard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
20. Virtual Manufacturing [electronic resource] / by Wasim Ahmed Khan, Abdul Raouf, Kai Cheng.

by Khan, Wasim Ahmed | Raouf, Abdul | Cheng, Kai | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue